#!/bin/csh -f
make OPTFLAGS="-DABKDEBUG -O5" RHKEY="-R" LIBBASE="/home/userd/code/lib/O5" $1

